1

Elementary explicit types and polynomial time operations

Year:
2009
Language:
english
File:
PDF, 153 KB
english, 2009
2

Realisability in weak systems of explicit mathematics

Year:
2011
Language:
english
File:
PDF, 186 KB
english, 2011